Reilly Abstraction